Analyzing Mobile Code Languages
نویسندگان
چکیده
The growing importance of telecommunication networks has stimulated research on a new generation of programming languages. Such languages view the network and its resources as a global environment in which computations take place. In particular, they support the notion of code mobility. To understand, discuss, evaluate, and compare such languages, it is necessary to develop a new set of programming language concepts and/or extend the concepts that are used to deal with conventional languages. The purpose of this paper is to provide such framework. This is done hand-in-hand with a survey of a number of existing new languages.
منابع مشابه
Lrn/r-maude Based Approach for Modeling and Simulation of Mobile Code Systems
Code mobility technologies attract more and more developers and consumers. Numerous domains are concerned, many platforms are developed and interest applications are realized. However, developing good software products requires modeling, analyzing and proving steps. The choice of models and modeling languages is so critical on these steps. Formal tools are powerful in analyzing and proving step...
متن کاملTransformation from Seal Calculus to Mobile Ambient Calculus
Based on analyzing syntax structrure and semantics reduction system of Seal calculus and Mobile Ambient calculus, we investigate three equivalence relations of the two calculus : communication’s equivalence, communication primitives’s equivalence and code movement equivalence. Then we show the structural transformation technology from Seal to Mobile Ambient. Our work proposes a systemitical met...
متن کاملAn Overview on Mobile Code Security
Mobile code technology offers significant benefits that enhance cross-platform capabilities, system automation, and resource sharing while creating a plethora of security risks. Security is the precondition to universal reception of mobile code systems. In this survey, we provide a general overview of the mobile code security field by presenting several current and envisioned applications of mo...
متن کاملFormulating Mobile Languages
This paper describes formal models of mobile computations, where dynamic transmission of code, data and execution environments is represented. Our models provide a foundation of mobile languages. We show that our models can represent the mobile mechanisms in Obliq, Telescript, Java, Facile and Kali-Scheme. The relation between code mobility and partial continuations are discussed. The correctne...
متن کاملA Study on Mobile Language Systems
The mobile form of distributed computation, called mobile computation, is investigated from the viewpoints of computational model, programming language and implementation. The emphasis of this thesis compared with the related work is on analyzing existing mobile language systems from a rather implementational point of view. The contribution of this thesis is threefold. (1) We present a computat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996